Systems science

Results: 42323



#Item
241

ENERGY SYSTEMS AND NUCLEAR SCIENCE RESEARCH CENTRE (ERC) BACKGROUNDER The Energy Systems and Nuclear Science Research Centre (ERC) is a 9,290-square-metre facility that houses UOIT’s uniquein-Canada education programs

Add to Reading List

Source URL: shared.uoit.ca

- Date: 2016-01-22 09:15:40
    242

    CheckerMode : A hybrid scheme for timing analysis of modern processor pipelines involving hardware/software interactions Sibin Mohan and Frank Mueller Dept. of Computer Science, Center for Embedded Systems Research, Nort

    Add to Reading List

    Source URL: moss.csc.ncsu.edu

    - Date: 2007-04-09 12:31:57
      243

      On Feature Protection in C++, Java and Eiffel Markku Sakkinen University of Jyvaskyla ∗ , Department of Computer Science and Information Systems P.O. Box 35, FIUniversity of Jyvaskyla, Finland markku.j.sakkinen@

      Add to Reading List

      Source URL: users.jyu.fi

      - Date: 2015-06-24 02:57:35
        244

        Network Traffic Behaviour in Switched Ethernet Systems Tony Field, Uli Harder & Peter Harrison Department of Computing Imperial College of Science, Technology and Medicine Huxley Building, 180 Queen’s Gate, London SW7

        Add to Reading List

        Source URL: pubs.doc.ic.ac.uk

        - Date: 2011-11-14 09:09:14
          245

          Towards a Programming Paradigm for Control Systems with High Levels of Existential Autonomy Eric Nivel1 & Kristinn R. Thórisson1,2 1 Center for Analysis and Design of Intelligent Agents / School of Computer Science, Re

          Add to Reading List

          Source URL: alumni.media.mit.edu

          - Date: 2013-06-05 19:15:05
            246

            Rank 2 type systems and recursive de nitions Technical Memorandum MIT/LCS/TM{531 Trevor Jim Laboratory for Computer Science Massachusetts Institute of Technology August 1995; revised November 1995

            Add to Reading List

            Source URL: publications.csail.mit.edu

            - Date: 2001-02-16 11:59:15
              247

              On the Analysis of Stochastic Timed Systems Thesis for obtaining the title of Doctor of Engineering Science of the Faculty of Natural Science and Technology I of Saarland University

              Add to Reading List

              Source URL: universaar.uni-saarland.de

              - Date: 2015-07-24 11:43:41
                248

                A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

                Add to Reading List

                Source URL: homes.cs.washington.edu

                - Date: 2016-03-26 21:26:17
                  249

                  Quantitative Trace Analysis using Extended Timing Diagrams Andreas Richter and Klaus Kabitzsch Dresden University of Technology, Institute of Applied Computer Science, Chair of Technical Information Systems, DDres

                  Add to Reading List

                  Source URL: rv2012.ku.edu.tr

                  - Date: 2012-10-05 08:23:59
                    250

                    Tolerating Byzantine Faults in Transaction Processing Systems using Commit Barrier Scheduling Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Sam Madden MIT Computer Science and Artificial Intelligence Lab Cambridge, MA

                    Add to Reading List

                    Source URL: www.sosp2007.org

                    - Date: 2016-06-15 13:09:51
                      UPDATE